Supporting Through Life Safety Assurance of COTS Based Upgrades
نویسنده
چکیده
The obsolescence problem (component life of 7 years, compared to aircraft life of 30+ years) whilst maintaining high-capability and low–cost upgrades is the holy grail for avionics systems integrators. The use of COTS and getting maximum reuse of existing functionality is key to solving this problem. However, such an approach can compromise the certification basis of the aircraft. The originally generated and gathered evidence alongside the reasoning justifying the (safety) reliance on the system, are invalidated by the change introduced to the system. This paper, based on an industrial case-study, describes a number of steps necessary to establish the assurance of safe system operation that will be considered acceptable to all involved stakeholders, such as the developers, the customer and the relevant regulatory authorities. Finally, the paper demonstrates how the reasoning behind the safety acceptance of the system is presented using argumentation; a very popular approach to represent safety cases, which document and communicate the safety reasoning of a system, and constitute a legal requirement in the UK for all safety implicated systems.
منابع مشابه
Safety Assurance of Commercial-Off-The-Shelf Software
Commercial-Off-The-Shelf (COTS) software is increasingly being suggested for use in systems development, for reasons including cost, functionality, useability, testedness, availability of support and upgrades. At the same time, standards for use of software in safetyrelated systems are becoming increasingly stringent. This paper examines the issue of providing safety assurance for systems invol...
متن کاملEvaluation and Integration of COTS in Evidence based Assurance Frameworks
COTS have increasingly been used by industrial practice as a means of maintaining low development costs of a product, whilst offering significant capability upgrades. COTS are multi purpose products driven by commonly used functionality. However, being general purpose products raises certain challenges regarding their ability to be certified. Previously used (process-based) standards stipulated...
متن کاملContract-Based Justification for COTS Component within Safety Critical Applications
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure that potential failures of the COTS component does not contribute to system level hazards. To this end, we have established a contract-based approach to capture the application-specific safety requirements, and correspond...
متن کاملIntents and Upgrades in Component-Based High-Assurance Systems
This chapter addresses challenges for model-driven development of embedded systems in industrial practice. These are rooted in the necessity of flexible development of new functionality at low development cost. Where a dependability requirement is added, e.g. support for assurance of safety requirements, then extending functionality by pluging in a new component, or modifying an existing compon...
متن کاملIntents, Upgrades and Assurance in Model-Based Development
This position paper addresses topic 1 of the workshop: MoDES challenges in industrial practice. It highlights lessons learnt from three applications of model-driven development for software embedded in vehicular safety restraints, aerospace and secure radio communication systems. While our experiences in these three fields of application are compared and contrasted the emphasis will be placed o...
متن کامل